Abstract Interpretation Based Program Testing
نویسنده
چکیده
Interpretation Based Program Testing
منابع مشابه
Program analysis using random interpretation
Program Analysis using Random Interpretation by Sumit Gulwani Doctor of Philosophy in Computer Science University of California, Berkeley Professor George C. Necula, Chair Random interpretation is a new program analysis technique that uses the power of randomization to verify and discover program properties. It is inspired by, and combines the strengths of, the two complementary techniques for ...
متن کاملV&V report #1: Security Requirements definition, Target Selection, Methodology Definition, First Security Testing and First For
Interpretation is a static analysis technique that provide results by executing an abstract version of the analysed program. The operations made in the abstract program reflect those made in the actual program. The abstract program operates on abstract values, which are coarser than the actual values, but on which the computations are simpler. These executions in the abstract world can therefor...
متن کاملVerifying Safety-Critical Properties of Embedded Software by Abstract Interpretation
Static program analysis by abstract interpretation is an efficient method to determine properties of embedded software. One example is value analysis, which determines the values stored in the processor registers. Its results are used as input to more advanced analyses, which ultimately yield information about the stack usage and the timing behavior of embedded software. 1 Abstract Interpretati...
متن کاملOn the Integration of Software Testing and Formal Analysis
The software industry favors dynamic testing over static analysis of software, because traditional static software analysis techniques do not adequately balance automation, precision and scalability. Recently several researchers have combined static and dynamic techniques to overcome these problems. Undergoing efforts include concolic execution, testing-based correctness prove, execution driven...
متن کاملSound Verification Techniques for Developing High-Integrity Medical Device Software
Embedded software in medical devices is increasing in content and complexity. Traditional software verification and testing methods may not provide the optimum solution. This paper discusses the application of sound verification techniques in the development of high integrity medical device software. Specifically, this paper will explore the application of formal methods based Abstract Interpre...
متن کامل